An optimal distributed solution to the dining philosophers problem

An optimal distributed solution to the dining philosophers problem is presented. The solution is optimal in the sense that it incurs the least communication and computational overhead, and allows the maximum achievable concurrency. The worst case upper bound for concurrency is shown to ben div 3,n being the number of philosophers. There is no previous algorithm known to achieve this bound.     

2008北京奥运与我国餐饮产业的发展——论北京奥运给我国餐饮带来的机遇挑战与对策

2008年的北京奥运能否创造我国餐饮产业发展的神话？2008年的奥运会对我国餐饮产业来说，机遇挑战并存。本文分析了2008北京奥运给我国餐饮带来的机遇和挑战，并提出了相应对策。     

统计算法选择对统计模型检测效率的影响分析

近年来,统计模型检测技术已经得到了广泛的应用,不同的统计算法对统计模型检测的性能有所影响。主要对比不同统计算法对统计模型检测的时间开销影响,从而分析算法的适用环境。选择的统计算法包括切诺夫算法、序贯算法、智能概率估计算法、智能假设检验算法及蒙特卡罗算法。采用无线局域网协议验证和哲学家就餐问题的状态可达性验证为实例进行分析,使用PLASMA模型检测工具进行验证。实验结果表明,不同的统计算法在不同的环境中对模型检测的效率有不同的影响。序贯算法适用于状态可达性性质的验证,时间性能最优;智能假设检验算法与蒙特卡罗算法适合验证复杂模型。这一结论有助于在模型检测时对统计算法的选择,从而提高模型检测的效率。     

A modular algorithm for resource allocation

This paper concerns resource allocation in distributed message passing systems, i.e., the scheduling of accesses to exclusive system resources shared among concurrent processes. An efficient modular resource allocation algorithm is presented that uses any arbitrary resource allocation algorithm as a subroutine. It improves the performance of the subroutine by letting each process wait only for its currently conflicting processes, and therefore, allows more concurrency. For appropriate choices of the subroutine, we obtain resource allocation algorithms with the minimum worst case response times. Simulation studies were conducted which also indicate that on average, the obtained algorithms perform faster and require a smaller number of messages than other previously known algorithms, especially when resource contention among processes is high and the average time that a process remains in the critical region is large. Received: May 1997 / Accepted: May 1998     

功能扩张、角色转换后的高校食堂设计--山东大学东校区学生食堂设计札记

现今高校的建设中，食堂的角色发生了转变，往往结合其他功能成为校园生活区的中心建筑。由此带来建筑空间格局、交通模式、建筑形象的转变。对山东大学东校区学生食堂设计的探讨，希望可以为该类建筑的设计提供一定的借鉴意义。     

都市中产家庭“食”空间之新趋势

为了帮助市场寻找新的产品生长点,新产品概念,为设计师寻找新的设计灵感,本研究利用人种志的方法,探寻了我国城市厨房和餐厅的家具、电器,及其这些空间中所有可能涉及到的产品和服务。发现“食”空间的设计中需要融入具有娱乐功能的电器和设备,需要提供个性化的产品选择,需要让孩子参与进来,需要提供健康、环保、自然的生活方式。     

If Kant was director of Clinical Training.

While Immanuel Kant is recognized as one of history's most influential philosophers and ethicists, his thought and writings also contain significant clinical implications that deserve attention. His philosophy is briefly explained and shown to anticipate modern developments in understanding human consciousness and many principles for effective psychotherapy. Kant's "categorical imperative," in particular, implies and anticipates valuable clinical interventions. Kant's principles that are ethically "right" for clients turn out to be clinically "good" for them as well. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

传统窗饰在当代建筑室内装饰中的艺术形态

当代建筑依据使用性质的不同可细分为居住、餐饮娱乐、商业、办公、观演等几大建筑类型,本文将针对以上几种不同的建筑空间类型以及它们各自的室内装饰创作实例为依据,深入解析我国传统窗饰艺术在当代不同类型的建筑室内装饰创作中存现的艺术形态。     

中式菜单优化组合探究

新世纪的餐饮市场，它不仅仅只是为了满足大众化的饮食需求，而且需求的内容已向多样化、个性化的方向发展。因此，必须根据市场快速多变的要求，运用优化组合的原理，设计出符合现代餐饮所需的菜单或菜肴产品；中式菜单的优化组合，也是现代餐饮最为重要的内容之一，它不仅体现了现代餐饮的经营理念、经营特色，而且也反映了企业提供的产品是否符合营养化、人性化或个性化的需求。更为重要地是通过优化组合的菜单，能引导消费者自觉地朝着安全、卫生、营养、健康的就餐方向发展。     

由分餐到合餐——中国古代就餐方式演变源流及其原因探析

分餐同我们现在所熟悉的合餐一样，在我国有着悠久的历史。自商周以来，中国人一直习惯于分餐的就餐方式，这是与当时森严的等级制度密不可分的，也是与当时人们的生活习惯相适应的。而到了隋唐时期，分餐方式开始向合餐逐渐演变，在宋代这一习惯得到巩固。由于它适应了中国人的饮食心理需求，因而在明清时期进一步得到加强，并成为相沿至今的生活习惯。就餐方式的演变不单单是人们生活习惯的简单移易，而是与社会发展、民族融合、价值观念的变化有着密切关系。